[INFO] fetching crate ddo 2.0.0...
[INFO] checking ddo-2.0.0 against master#82310651b93a594a3fd69015e1562186a080d94c for pr-145770
[INFO] extracting crate ddo 2.0.0 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate ddo 2.0.0
[INFO] finished tweaking crates.io crate ddo 2.0.0
[INFO] tweaked toml for crates.io crate ddo 2.0.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate ddo 2.0.0 on toolchain 82310651b93a594a3fd69015e1562186a080d94c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate ddo 2.0.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded smallbitset v0.7.1
[INFO] [stderr]   Downloaded binary-heap-plus v0.5.0
[INFO] [stderr]   Downloaded compare v0.1.0
[INFO] [stderr]   Downloaded dashmap v5.5.0
[INFO] [stderr]   Downloaded ordered-float v3.9.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3fac9600ecd9230f14c39d18d63315710cf00d1d04f17f4c1761e678abd2c6fd
[INFO] running `Command { std: "docker" "start" "-a" "3fac9600ecd9230f14c39d18d63315710cf00d1d04f17f4c1761e678abd2c6fd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3fac9600ecd9230f14c39d18d63315710cf00d1d04f17f4c1761e678abd2c6fd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3fac9600ecd9230f14c39d18d63315710cf00d1d04f17f4c1761e678abd2c6fd", kill_on_drop: false }`
[INFO] [stdout] 3fac9600ecd9230f14c39d18d63315710cf00d1d04f17f4c1761e678abd2c6fd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1460d4043f97a7884deb9683756f6aa6b2777fa26e03390a0c9cc17fe287f6b1
[INFO] running `Command { std: "docker" "start" "-a" "1460d4043f97a7884deb9683756f6aa6b2777fa26e03390a0c9cc17fe287f6b1", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.66
[INFO] [stderr]    Compiling unicode-ident v1.0.11
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling libc v0.2.147
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling ident_case v1.0.1
[INFO] [stderr]    Compiling rustix v0.38.8
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]     Checking bitflags v2.4.0
[INFO] [stderr]     Checking linux-raw-sys v0.4.5
[INFO] [stderr]     Checking utf8parse v0.2.1
[INFO] [stderr]     Checking scopeguard v1.2.0
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking smallvec v1.11.0
[INFO] [stderr]     Checking anstyle-query v1.0.0
[INFO] [stderr]     Checking anstyle v1.0.1
[INFO] [stderr]     Checking colorchoice v1.0.0
[INFO] [stderr]     Checking once_cell v1.18.0
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking anstyle-parse v0.2.1
[INFO] [stderr]     Checking compare v0.1.0
[INFO] [stderr]    Compiling heck v0.4.1
[INFO] [stderr]     Checking hashbrown v0.14.0
[INFO] [stderr]     Checking clap_lex v0.5.0
[INFO] [stderr]    Compiling thiserror v1.0.47
[INFO] [stderr]     Checking regex-syntax v0.7.4
[INFO] [stderr]     Checking binary-heap-plus v0.5.0
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]    Compiling lock_api v0.4.10
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]     Checking aho-corasick v1.0.4
[INFO] [stderr]    Compiling syn v2.0.29
[INFO] [stderr]     Checking num_cpus v1.16.0
[INFO] [stderr]     Checking parking_lot v0.12.1
[INFO] [stderr]     Checking dashmap v5.5.0
[INFO] [stderr]     Checking is-terminal v0.4.9
[INFO] [stderr]     Checking anstream v0.3.2
[INFO] [stderr]     Checking clap_builder v4.3.23
[INFO] [stderr]     Checking regex-automata v0.3.6
[INFO] [stderr]     Checking ordered-float v3.9.0
[INFO] [stderr]     Checking smallbitset v0.7.1
[INFO] [stderr]    Compiling clap_derive v4.3.12
[INFO] [stderr]    Compiling thiserror-impl v1.0.47
[INFO] [stderr]     Checking regex v1.9.3
[INFO] [stderr]    Compiling darling_core v0.14.4
[INFO] [stderr]     Checking clap v4.3.23
[INFO] [stderr]    Compiling darling_macro v0.14.4
[INFO] [stderr]    Compiling darling v0.14.4
[INFO] [stderr]    Compiling derive_builder_core v0.12.0
[INFO] [stderr]    Compiling derive_builder_macro v0.12.0
[INFO] [stderr]     Checking derive_builder v0.12.0
[INFO] [stderr]     Checking ddo v2.0.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:207:18
[INFO] [stdout]     |
[INFO] [stdout] 207 |     problem: &'a (dyn Problem<State = State>),
[INFO] [stdout]     |                  ^                          ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 207 -     problem: &'a (dyn Problem<State = State>),
[INFO] [stdout] 207 +     problem: &'a dyn Problem<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:209:21
[INFO] [stdout]     |
[INFO] [stdout] 209 |     relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout]     |                     ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 209 -     relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout] 209 +     relaxation: &'a dyn Relaxation<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:212:18
[INFO] [stdout]     |
[INFO] [stdout] 212 |     ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout]     |                  ^                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 212 -     ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout] 212 +     ranking: &'a dyn StateRanking<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:215:20
[INFO] [stdout]     |
[INFO] [stdout] 215 |     width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout]     |                    ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 215 -     width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout] 215 +     width_heu: &'a dyn WidthHeuristic<State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |     cutoff: &'a (dyn Cutoff),
[INFO] [stdout]     |                 ^          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 218 -     cutoff: &'a (dyn Cutoff),
[INFO] [stdout] 218 +     cutoff: &'a dyn Cutoff,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:230:21
[INFO] [stdout]     |
[INFO] [stdout] 230 |     fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout]     |                     ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 230 -     fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout] 230 +     fringe: &'a mut dyn Fringe<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:254:20
[INFO] [stdout]     |
[INFO] [stdout] 254 |     dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout]     |                    ^                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 254 -     dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout] 254 +     dominance: &'a dyn DominanceChecker<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:264:22
[INFO] [stdout]     |
[INFO] [stdout] 264 |         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout]     |                      ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 264 -         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout] 264 +         problem: &'a dyn Problem<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:265:25
[INFO] [stdout]     |
[INFO] [stdout] 265 |         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout]     |                         ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 265 -         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout] 265 +         relaxation: &'a dyn Relaxation<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:266:22
[INFO] [stdout]     |
[INFO] [stdout] 266 |         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout]     |                      ^                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 266 -         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout] 266 +         ranking: &'a dyn StateRanking<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:267:20
[INFO] [stdout]     |
[INFO] [stdout] 267 |         width: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout]     |                    ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 267 -         width: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout] 267 +         width: &'a dyn WidthHeuristic<State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:268:24
[INFO] [stdout]     |
[INFO] [stdout] 268 |         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout]     |                        ^                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 268 -         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout] 268 +         dominance: &'a dyn DominanceChecker<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:269:21
[INFO] [stdout]     |
[INFO] [stdout] 269 |         cutoff: &'a (dyn Cutoff), 
[INFO] [stdout]     |                     ^          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 269 -         cutoff: &'a (dyn Cutoff), 
[INFO] [stdout] 269 +         cutoff: &'a dyn Cutoff, 
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:270:25
[INFO] [stdout]     |
[INFO] [stdout] 270 |         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout]     |                         ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 270 -         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout] 270 +         fringe: &'a mut dyn Fringe<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:276:22
[INFO] [stdout]     |
[INFO] [stdout] 276 |         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout]     |                      ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 276 -         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout] 276 +         problem: &'a dyn Problem<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:277:25
[INFO] [stdout]     |
[INFO] [stdout] 277 |         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout]     |                         ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 277 -         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout] 277 +         relaxation: &'a dyn Relaxation<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:278:22
[INFO] [stdout]     |
[INFO] [stdout] 278 |         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout]     |                      ^                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 278 -         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout] 278 +         ranking: &'a dyn StateRanking<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:279:24
[INFO] [stdout]     |
[INFO] [stdout] 279 |         width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout]     |                        ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 279 -         width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout] 279 +         width_heu: &'a dyn WidthHeuristic<State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:280:24
[INFO] [stdout]     |
[INFO] [stdout] 280 |         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout]     |                        ^                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 280 -         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout] 280 +         dominance: &'a dyn DominanceChecker<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:281:21
[INFO] [stdout]     |
[INFO] [stdout] 281 |         cutoff: &'a (dyn Cutoff),
[INFO] [stdout]     |                     ^          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 281 -         cutoff: &'a (dyn Cutoff),
[INFO] [stdout] 281 +         cutoff: &'a dyn Cutoff,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:282:25
[INFO] [stdout]     |
[INFO] [stdout] 282 |         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout]     |                         ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 282 -         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout] 282 +         fringe: &'a mut dyn Fringe<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/default_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/clean.rs:2423:19
[INFO] [stdout]      |
[INFO] [stdout] 2423 |         let dot = include_str!("../../../../resources/visualisation_tests/default_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/terse_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/clean.rs:2456:19
[INFO] [stdout]      |
[INFO] [stdout] 2456 |         let dot = include_str!("../../../../resources/visualisation_tests/terse_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/deleted_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/clean.rs:2494:19
[INFO] [stdout]      |
[INFO] [stdout] 2494 |         let dot = include_str!("../../../../resources/visualisation_tests/deleted_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/clusters_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/clean.rs:2532:19
[INFO] [stdout]      |
[INFO] [stdout] 2532 |         let dot = include_str!("../../../../resources/visualisation_tests/clusters_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/default_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/pooled.rs:2278:19
[INFO] [stdout]      |
[INFO] [stdout] 2278 |         let dot = include_str!("../../../../resources/visualisation_tests/default_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/terse_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/pooled.rs:2311:19
[INFO] [stdout]      |
[INFO] [stdout] 2311 |         let dot = include_str!("../../../../resources/visualisation_tests/terse_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/deleted_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/pooled.rs:2349:19
[INFO] [stdout]      |
[INFO] [stdout] 2349 |         let dot = include_str!("../../../../resources/visualisation_tests/deleted_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/implementation/mdd/../../../../resources/visualisation_tests/clusters_viz.dot`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/implementation/mdd/pooled.rs:2387:19
[INFO] [stdout]      |
[INFO] [stdout] 2387 |         let dot = include_str!("../../../../resources/visualisation_tests/clusters_viz.dot");
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:207:18
[INFO] [stdout]     |
[INFO] [stdout] 207 |     problem: &'a (dyn Problem<State = State>),
[INFO] [stdout]     |                  ^                          ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 207 -     problem: &'a (dyn Problem<State = State>),
[INFO] [stdout] 207 +     problem: &'a dyn Problem<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:209:21
[INFO] [stdout]     |
[INFO] [stdout] 209 |     relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout]     |                     ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 209 -     relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout] 209 +     relaxation: &'a dyn Relaxation<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:212:18
[INFO] [stdout]     |
[INFO] [stdout] 212 |     ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout]     |                  ^                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 212 -     ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout] 212 +     ranking: &'a dyn StateRanking<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:215:20
[INFO] [stdout]     |
[INFO] [stdout] 215 |     width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout]     |                    ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 215 -     width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout] 215 +     width_heu: &'a dyn WidthHeuristic<State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:218:17
[INFO] [stdout]     |
[INFO] [stdout] 218 |     cutoff: &'a (dyn Cutoff),
[INFO] [stdout]     |                 ^          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 218 -     cutoff: &'a (dyn Cutoff),
[INFO] [stdout] 218 +     cutoff: &'a dyn Cutoff,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:230:21
[INFO] [stdout]     |
[INFO] [stdout] 230 |     fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout]     |                     ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 230 -     fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout] 230 +     fringe: &'a mut dyn Fringe<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:254:20
[INFO] [stdout]     |
[INFO] [stdout] 254 |     dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout]     |                    ^                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 254 -     dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout] 254 +     dominance: &'a dyn DominanceChecker<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:264:22
[INFO] [stdout]     |
[INFO] [stdout] 264 |         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout]     |                      ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 264 -         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout] 264 +         problem: &'a dyn Problem<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:265:25
[INFO] [stdout]     |
[INFO] [stdout] 265 |         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout]     |                         ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 265 -         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout] 265 +         relaxation: &'a dyn Relaxation<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:266:22
[INFO] [stdout]     |
[INFO] [stdout] 266 |         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout]     |                      ^                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 266 -         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout] 266 +         ranking: &'a dyn StateRanking<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:267:20
[INFO] [stdout]     |
[INFO] [stdout] 267 |         width: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout]     |                    ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 267 -         width: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout] 267 +         width: &'a dyn WidthHeuristic<State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:268:24
[INFO] [stdout]     |
[INFO] [stdout] 268 |         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout]     |                        ^                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 268 -         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout] 268 +         dominance: &'a dyn DominanceChecker<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:269:21
[INFO] [stdout]     |
[INFO] [stdout] 269 |         cutoff: &'a (dyn Cutoff), 
[INFO] [stdout]     |                     ^          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 269 -         cutoff: &'a (dyn Cutoff), 
[INFO] [stdout] 269 +         cutoff: &'a dyn Cutoff, 
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:270:25
[INFO] [stdout]     |
[INFO] [stdout] 270 |         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout]     |                         ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 270 -         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout] 270 +         fringe: &'a mut dyn Fringe<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:276:22
[INFO] [stdout]     |
[INFO] [stdout] 276 |         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout]     |                      ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 276 -         problem: &'a (dyn Problem<State = State>),
[INFO] [stdout] 276 +         problem: &'a dyn Problem<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:277:25
[INFO] [stdout]     |
[INFO] [stdout] 277 |         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout]     |                         ^                             ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 277 -         relaxation: &'a (dyn Relaxation<State = State>),
[INFO] [stdout] 277 +         relaxation: &'a dyn Relaxation<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:278:22
[INFO] [stdout]     |
[INFO] [stdout] 278 |         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout]     |                      ^                               ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 278 -         ranking: &'a (dyn StateRanking<State = State>),
[INFO] [stdout] 278 +         ranking: &'a dyn StateRanking<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:279:24
[INFO] [stdout]     |
[INFO] [stdout] 279 |         width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout]     |                        ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 279 -         width_heu: &'a (dyn WidthHeuristic<State>),
[INFO] [stdout] 279 +         width_heu: &'a dyn WidthHeuristic<State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:280:24
[INFO] [stdout]     |
[INFO] [stdout] 280 |         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout]     |                        ^                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 280 -         dominance: &'a (dyn DominanceChecker<State = State>),
[INFO] [stdout] 280 +         dominance: &'a dyn DominanceChecker<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:281:21
[INFO] [stdout]     |
[INFO] [stdout] 281 |         cutoff: &'a (dyn Cutoff),
[INFO] [stdout]     |                     ^          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 281 -         cutoff: &'a (dyn Cutoff),
[INFO] [stdout] 281 +         cutoff: &'a dyn Cutoff,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/implementation/solver/sequential.rs:282:25
[INFO] [stdout]     |
[INFO] [stdout] 282 |         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout]     |                         ^                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 282 -         fringe: &'a mut (dyn Fringe<State = State>),
[INFO] [stdout] 282 +         fringe: &'a mut dyn Fringe<State = State>,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `strings` is never read
[INFO] [stdout]   --> examples/lcs/model.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub struct Lcs {
[INFO] [stdout]    |            --- field in this struct
[INFO] [stdout] 36 |     /// The input strings, converted to integers
[INFO] [stdout] 37 |     pub strings: Vec<Vec<usize>>,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Lcs` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `n_chars` is never read
[INFO] [stdout]   --> examples/lcs/dp.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct LcsDp<'a> {
[INFO] [stdout]    |            ----- field in this struct
[INFO] [stdout] 23 |     pub n_chars: usize,
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `n_predecessors` is never read
[INFO] [stdout]   --> examples/sop/io_utils.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct SopInstance {
[INFO] [stdout]    |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub n_predecessors: Vec<usize>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SopInstance` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `ddo` (lib test) due to 8 previous errors; 21 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "1460d4043f97a7884deb9683756f6aa6b2777fa26e03390a0c9cc17fe287f6b1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1460d4043f97a7884deb9683756f6aa6b2777fa26e03390a0c9cc17fe287f6b1", kill_on_drop: false }`
[INFO] [stdout] 1460d4043f97a7884deb9683756f6aa6b2777fa26e03390a0c9cc17fe287f6b1
